Marco Servetto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Lightweight Approach to Customizable Composition Operators for Java-like Classes

Giovanni Lagorio, Marco Servetto, Elena Zucca

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 302 KB

english, 2010

2

[ACM Press the 15th Workshop - Montpellier, France (2013.07.01-2013.07.01)] Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP '13 - True small-step reduction for imperative object oriented languages

Servetto, Marco, Groves, Lindsay

Year:

2013

Language:

english

File:

PDF, 298 KB

english, 2013

3

[ACM Press the 12th Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 - Strong exception-safety for Java-like languages

Lagorio, Giovanni, Servetto, Marco

Year:

2010

Language:

english

File:

PDF, 209 KB

english, 2010

4

PP170 Health Impact Assessment Of Teleradiology Programs In Disadvantaged Areas

Digiacomo, Giovanni, Perusia, Matteo, Romano, Valeria, Rivoiro, Chiara, Servetto, Rosario, Giacometti, Marika, Glisoni, Marco, Gualano, Maria Rosaria, Siliquini, Roberta, Grosso, Marco, Davini, Ottavi

Journal:

International Journal of Technology Assessment in Health Care

Year:

2017

Language:

english

File:

PDF, 576 KB

english, 2017

5

Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages

Giovanni Lagorio, Marco Servetto, Elena Zucca

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 327 KB

english, 2012

6

Respiratory responses of three Antarctic ascidians and a sea pen to increased sediment concentrations

Torre, Luciana, Servetto, Natalia, Eöry, Matias Leonel, Momo, Fernando, Tatián, Marcos, Abele, Doris, Sahade, Ricardo

Journal:

Year:

2012

Language:

english

File:

PDF, 304 KB

english, 2012

7

A meta-circular language for active libraries

Servetto, Marco, Zucca, Elena

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 2.82 MB

english, 2014

8

MetaFJig

Servetto, Marco, Zucca, Elena

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 709 KB

english, 2010

9

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - MetaFJig

Servetto, Marco, Zucca, Elena

Year:

2010

Language:

english

File:

PDF, 709 KB

english, 2010

10

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - A meta-circular language for active libraries

Servetto, Marco, Zucca, Elena

Year:

2013

Language:

english

File:

PDF, 417 KB

english, 2013

11

An Imperative Pure Calculus

Capriccioli, Andrea, Servetto, Marco, Zucca, Elena

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 259 KB

english, 2016

12

[ACM Press the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.10.31-2016.11.01)] Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016 - Classless Java

Wang, Yanlin, Zhang, Haoyuan, Oliveira, Bruno C. d. S., Servetto, Marco

Year:

2016

Language:

english

File:

PDF, 399 KB

english, 2016

13

Climate Change, Glacier Retreat and a New Ice-Free Island Offer New Insights on Antarctic Benthic Responses

Lagger, Cristian, Nime, Mónica, Torre, Luciana, Servetto, Natalia, Tatián, Marcos, Sahade, Ricardo

Journal:

Year:

2017

Language:

english

File:

PDF, 557 KB

english, 2017

14

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - A type and effect system for uniqueness and immutability

Giannini, Paola, Servetto, Marco, Zucca, Elena

Year:

2018

Language:

english

File:

PDF, 1.22 MB

english, 2018

15

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - Coupling catch clauses with local declarations

Giannini, Paola, Servetto, Marco, Zucca, Elena

Year:

2016

Language:

english

File:

PDF, 256 KB

english, 2016

16

[ACM Press the 19th Workshop - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17 - Tracing sharing in an imperative pure calculus

Giannini, Paola, Servetto, Marco, Zucca, Elena

Year:

2017

Language:

english

File:

PDF, 605 KB

english, 2017

17

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - Coupling catch clauses with local declarations

Giannini, Paola, Servetto, Marco, Zucca, Elena

Year:

2016

File:

PDF, 256 KB

2016

18

[ACM Press the 19th Workshop - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17 - Tracing sharing in an imperative pure calculus

Giannini, Paola, Servetto, Marco, Zucca, Elena

Year:

2017

File:

PDF, 605 KB

2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски